The Rationale of Powertype Powertype-based Metamodelling to Underpin nderpin Software D Development evelopment Methodologies
نویسندگان
چکیده
Metamodelling provides a way of modelling the rules underpinning not only modelling languages such as UML but also processes. In the context of object-oriented development, we evaluate the conceptual framework used to reason about metamodelling from the different perspectives of methodologist, method engineer and software developer. We propose the use of clabjets and powertype patterns as a solution to avoid the present inconsistencies in the use of a strict metamodelling multi-level hierarchy and demonstrate their efficacy in providing a solid and improved framework for OO-based process (and product) metamodelling.
منابع مشابه
Keynote: On the Ease of Extending a Powertype-Based Methodology Metamodel
Metamodelling is an increasingly prevalent tool in conceptual modelling – in particular in the context of OMG standards such as UML, MOF and SPEM. However, when applying a standard metamodelling approach based solely on instantiation semantics, many problems arise. These are shown to be solved using a powertype-based approach instead. Here we summarize this approach and focus on the ease with w...
متن کاملA Semantics of Object-Oriented Sets
An account is given of extending the well-known object-oriented type system of Luca Cardelli with set constructs and logical formalism. The system is based on typed-notation, employing a subtyping relation and a powertype construct. Sets in this system are value expressions and are typed as some powertype. Sets are built up in a very general manner; in particular, sets can be described by ((rst...
متن کاملTowards an Ontological Analysis of Powertypes
In several subject domains, the categorization scheme itself is part of the subject matter. In this case, experts make use of categories of categories in their accounts. This has led to a number of approaches in conceptual modeling and knowledge representation that are called multi-level modeling approaches. An early approach for multi-level modeling is the powertype pattern which introduces “p...
متن کاملOclType - A Type or Metatype ?
While the type system proposed in the OCL Standard Library of the latest OCL 2.0 proposal seems to be considerably stable by now, there are still some deficiencies in the definition of operations for type casts and type conformance checks. This results from the fact that the types defined on the user-level are currently not well represented in the OCL Standard Library. This article presents a n...
متن کاملApplying Multi-level Modeling to Data Integration in Product Line Engineering
Developing systems according to the Product Line Engineering (PLE) paradigm is a process in which different types of engineering artifacts are created with the aim of reusing them in different configurations of the same system. Ensuring that different system configurations satisfy various functional and non-functional properties is ensured by analyzing different artifacts but because they are m...
متن کامل